Descent for Regular Epimorphisms in Barr Exact Goursat Categories
نویسندگان
چکیده
We show that the category of regular epimorphisms in a Barr exact Goursat category is almost Barr exact in the sense that (it is a regular category and) every regular epimorphism in it is an effective descent morphism.
منابع مشابه
NOTES ON EFFECTIVE DESCENT AND PROJECTIVITY IN QUASIVARIETIES OF UNIVERSAL ALGEBRAS Dedicated to Walter Tholen on the occasion of his sixtieth birthday
We present sufficient conditions under which effective descent morphisms in a quasivariety of universal algebras are the same as regular epimorphisms and examples for which they are the same as regular epimorphisms satisfying projectivity. 1. Preliminaries A variety is a full subcategory of the category of structures for a first order (one sorted) language, closed under substructures, products ...
متن کاملA good theory of ideals in regular multi-pointed categories
By a multi-pointed category we mean a category C equipped with a so called ideal of null morphisms, i.e. a class N of morphisms satisfying f ∈ N ∨ g ∈ N ⇒ fg ∈ N for any composable pair f, g of morphisms. Such categories are precisely the categories enriched in the category of pairs X = (X,N) where X is a set and N is a subset of X, whereas a pointed category has the same enrichment, but restri...
متن کاملOn descent for coalgebras and type transformations
We find a criterion for a morphism of coalgebras over a Barr-exact category to be effective descent and determine (effective) descent morphisms for coalgebras over toposes in some cases. Also, we study some exactness properties of endofunctors of arbitrary categories in connection with natural transformations between them as well as those of functors that these transformations induce between co...
متن کاملA characterisation of algebraic exactness
An algebraically exact category is one that admits all of the limits and colimits which every variety of algebras possesses and every forgetful functor between varieties preserves, and which verifies the same interactions between these limits and colimits as hold in any variety. Such categories were studied by Adámek, Lawvere and Rosický: they characterised them as the categories with small lim...
متن کاملSymmetry of Regular Diamonds, the Goursat Property, and Subtractivity
We investigate 3-permutability, in the sense of universal algebra, in an abstract categorical setting which unifies the pointed and the non-pointed contexts in categorical algebra. This leads to a unified treatment of regular subtractive categories and of regular Goursat categories, as well as of E-subtractive varieties (where E is the set of constants in a variety) recently introduced by the f...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Applied Categorical Structures
دوره 19 شماره
صفحات -
تاریخ انتشار 2011